退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:哥德尔模态逻辑的有限模型性质
Xavier Caicedo; George Metcalfe; Jonas Rogger;
机译:有限深度模态逻辑的有限模型性质
机译:纠结方式的逻辑有限模型特性
机译:有限模型的真相定义的模态逻辑
机译:g?del模态逻辑的有限模型属性
机译:对应模型:对模态逻辑的本体和语义的修订研究。
机译:通过操作模态分析(OMA)验证的有限元(FE)模型对战略建筑的结构可操作性评估
机译:Gödel模态逻辑的有限模型属性
机译:用于汽车的机械部件的有限元模型的生成方法,包括将构成网格的材料的机械性能自动分配给机械部件的数值模型。
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:有限元混合均质化地质特征建模方法及系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。